Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
41	Discovering Counterexamples (and Proof Ingredients) for Knuth-likek-Principles Moritz F¨ urneisen and Janis Voigtl¨ander University of Bonn Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Constructible universe Maths24
42	Policy Evaluation, Exercise Sheet 1 Florian Oswald∗ January 27, 2012 0 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Mathematical analysis Statistics Mathematics Distribution Functional analysis Constructible universe Normal distribution Inverse Mills ratio Net
43	December 15, 2010 FULL DISCRETIZATION OF THE POROUS MEDIUM/FAST DIFFUSION EQUATION BASED ON ITS VERY WEAK FORMULATION∗ ‡ Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2012-02-06 05:23:24 Mathematical analysis Mathematics Operator theory Partial differential equations Heat transfer Heat equation Hilbert space Constructible universe Differential forms on a Riemann surface Sobolev spaces for planar domains
44	Bayesian persuasion with multiple senders and rich signal spaces Matthew Gentzkow and Emir Kamenica∗ Stanford University and University of Chicago MarchAbstract Add to Reading List Source URL: faculty.chicagobooth.edu Language: English - Date: 2016-04-07 12:41:38 Differential forms Closed and exact differential forms Lemmas Constructible universe Measure theory Pi system
45	Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China Add to Reading List Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com Language: English - Date: 2012-07-04 18:28:36 Formal languages Mathematical analysis Mathematics Theoretical computer science Symbol Omega language Constructible universe Regular language Star height Linear temporal logic Differential forms on a Riemann surface
46	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-07-18 12:57:54 Declarative programming Software engineering Computer programming Functional programming Theoretical computer science Category theory Recursion Type theory Corecursion Symbol Stream Constructible universe
47	gen-ell-commentspdf Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2016-07-12 13:13:20 Constructible universe NC
48	BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany. Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 09:26:23 Mathematics Computer arithmetic Mathematical logic Theory of computation Numerical analysis Arithmetic Interval arithmetic Interval Constructible universe Ordinal number NC Machine epsilon
49	Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Wellfoundedness Mathematical logic Mathematics Constructible universe Proof theory Logic Ordinal numbers CurryHoward correspondence Conjugate element
50	Free Theorems and “Real” Languages Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Universal algebra Constructible universe Type theory CurryHoward correspondence